Block-Synchronization Context-Free Grammars

BOOK CHAPTER published 1997 in Advances in Algorithms, Languages, and Complexity

Authors: Helmut Jürgensen | Kai Salomaa

The Mathematical Theory of L Systems

BOOK CHAPTER published 1976 in Advances in Information Systems Science

Authors: G. Rozenberg | A. Salomaa

Some Grammars and Recognizers for Formal and Natural Languages

BOOK CHAPTER published 1974 in Advances in Information Systems Science

Authors: J. A. Moyne

Top-down tree edit-distance of regular tree languages

JOURNAL ARTICLE published March 2019 in International Journal of Advances in Engineering Sciences and Applied Mathematics

Research funded by National Research Foundation of Korea (2015R1D1A1A01060097)

Authors: Sang-Ki Ko | Yo-Sub Han | Kai Salomaa

The Formal Reconstruction and Speedup Of The Linear Time Fragment Of Willard’s Relational Calculus Subset

BOOK CHAPTER published 1997 in Algorithmic Languages and Calculi

Authors: Deepak Goyal | Robert Paige

Attribute grammars in the functional style

BOOK CHAPTER published 1998 in IFIP Advances in Information and Communication Technology

Authors: S. D. Swierstra | P. R. Azero

A Note on $$textrm{b}$$-Generalized Skew Derivations on Prime Rings

BOOK CHAPTER published 2024 in Springer Proceedings in Mathematics & Statistics

Authors: Mani Shankar Pandey | Ashutosh Pandey

Parsing for targeted errors in controlled languages

BOOK CHAPTER published 1997 in Recent Advances in Natural Language Processing

Authors: Matthew F. Hurst

Interaction Semantics for Components of Distributed Systems

BOOK CHAPTER published 1997 in IFIP Advances in Information and Communication Technology

Authors: Carolyn Talcott

Expressing Runtime Structure and Synchronisation in Concurrent OO Languages with MONSTR

BOOK CHAPTER published 1997 in IFIP Advances in Information and Communication Technology

Authors: R. Banach | G. A. Papadopoulos

Co-Creating Value Derivations in a Service System Journey

BOOK CHAPTER published 2017 in Handbook of Research on Strategic Alliances and Value Co-Creation in the Service Industry

Authors: Ralph D. Badinelli

Representation of discretely controlled continuous systems in software-oriented formal analysis

BOOK CHAPTER published 1997 in Advances in Computing Science — ASIAN'97

Authors: Tetsuya Mizutani | Shigeru Igarashi | Kohji Tomita | Masayuki Shio

Object-oriented software reusability through formal specifications

BOOK CHAPTER published 1998 in IFIP Advances in Information and Communication Technology

Authors: L. M. Favre | G. M. Diez

Rationalising Technological Temporality

BOOK CHAPTER published 2021 in Advances in Human Resources Management and Organizational Development

Authors: Patrick Camilleri

Walking Side by Side

BOOK CHAPTER published 10 February 2023 in Handbook of Research on Learning in Language Classrooms Through ICT-Based Digital Technology

Authors: Ana Nobre

On Learning Smullyan's Elementary Formal Systems: Towards an Efficient Learning Method for Context-Sensitive Languages* *This work forms part of the major R&D on the Fifth Generation Computer Project, conducted under a program set up by MITI.

BOOK CHAPTER published 1991 in Advances in Software Science and Technology

Authors: Yasubumi Sakakibara

Creating a Beginners English for Speakers of Other Languages E-Course Curriculum for Adult Migrants

BOOK CHAPTER published 24 June 2022 in Handbook of Research on Teacher and Student Perspectives on the Digital Turn in Education

Authors: Evgenia Berdesi

Fault-Controlled on Hydrocarbon Migration and Accumulation of Baodao Northern Slope in the Qiongdongnan Basin, South China Sea

BOOK CHAPTER published 2019 in Advances in Petroleum Engineering and Petroleum Geochemistry

Authors: Xinshun Zhang | Hongju Zheng | Congsheng Bian